设Ｇｉ是满足第二可数性公理的、Ｈａｕｓｄｏｒｆｆ的、顺从的、ｒ－离散的、主的局部紧群胚，并且有一个紧开Ｇ－集覆盖；设Ｐｉ是Ｇｉ中含Ｇ＿ｉ￣０的开闭集，且满足及相应的模是具有性......